Struct isotope::builder::Builder [−][src]
pub struct Builder<T = StandardCtx> { /* fields omitted */ }
Expand description
A converter for isotope
ASTs into in-memory representation
Implementations
Build an application from a slice of expressions
Apply a term to a slice of expressions
Build an application within this context
Build a parametrized term
Build a typing universe
Build an annotated term
Build a term with an annotation
Register a substitution
Trait Implementations
Auto Trait Implementations
impl<T = MapTyCtx<DisjointSetCtx>> !RefUnwindSafe for Builder<T>
impl<T = MapTyCtx<DisjointSetCtx>> !UnwindSafe for Builder<T>
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.